Dual local completeness

Query Optimization Using Local Completeness

We consider the problem of query plan optimization in information brokers. Information brokers are programs that facilitate access to collections of information sources by hiding source-speciic peculiarities and presenting uniform query interfaces. It is unrealistic to assume that data stored by information sources is complete. Therefore, current implementations of information brokers query all...

Query Optimization Using Local Completeness Oliver

We consider the problem of query plan optimization in information brokers. Information brokers are programs that facilitate access to collections of information sources by hiding source-speci c peculiarities and presenting uniform query interfaces. It is unrealistic to assume that data stored by information sources is complete. Therefore, current implementations of information brokers query all...

Completeness for Algebraic Theories of Local State

Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise to equations between programs in the meta-language. An interesting question is this: to what extent can we put equational reasoning for programs into the algebraic theory for the monad? In this paper I focus on local s...

Local Causality and Completeness: Bell vs. Jarrett

J.S. Bell believed that his famous theorem entailed a deep and troubling conflict between the empirically verified predictions of quantum theory and the notion of local causality that is motivated by relativity theory. Yet many physicists continue to accept, usually on the reports of textbook writers and other commentators, that Bell’s own view was wrong, and that, in fact, the theorem only bri...

Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem